My first fifteen compilers (2019)
🏗️Compiler Design
Flag this post
Speedrunning an RL Environment
🔬PLT
Flag this post
Opportunistically Parallel Lambda Calculus
🌳Tree-sitter
Flag this post
Smaller Surfaces
🔓Open Source
Flag this post
Ajla Tutorial
💻Programming
Flag this post
From Lossy to Lossless Reasoning
🌳Tree-sitter
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
🏗️Compiler Design
Flag this post
Olsrt – OverLab Streams Runtime
💻Programming
Flag this post
Async/Await is finally back in Zig
💻Programming
Flag this post
A portable picokernel for async I/O
💿OS
Flag this post
Handbook of Satisfiability (2021)
🔬PLT
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
🔌RISC-V
Flag this post
Text-Mode Games as First Haskell Projects
💻Programming
Flag this post
Loading...Loading more...